大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ACM Special Interest Group on Design Automation 的图书(共4151本)

Compiler Design [electronic resource] : Virtual Machines

0
索取号：
作者：Wilhelm、 Reinhard.、Seidl、 Helmut.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Integrated Greenhouse Systems for Mild Climates [electronic resource] : Climate Conditions, Design, Construction, Maintenance, Climate Control

0
索取号：
作者：von Zabeltitz、 Christian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Balanced Automation Systems for Future Manufacturing Networks [electronic resource] : 9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, 2010. Proceedings

0
索取号：
作者：Ortiz、 脕ngel.、Franco、 Rub茅n Dar铆o.、Gasquet、 Pedro G贸mez.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Digital Filters [electronic resource] : Basics and Design

0
索取号：
作者：Schlichth盲rle、 Dietrich.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

FORMS/FORMAT 2010 [electronic resource] : Formal Methods for Automation and Safety in Railway and Automotive Systems

0
索取号：
作者：Schnieder、 Eckehard.、Tarnai、 Geza.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computers Helping People with Special Needs [electronic resource] : 12th International Conference, ICCHP 2010, Vienna, Austria, July14-16, 2010, Proceedings, Part II

0
索取号：
作者：Miesenberger、 Klaus.、Klaus、 Joachim.、Zagler、 Wolfgang.、Karshmer、 Arthur.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computers Helping People with Special Needs [electronic resource] : 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010. Proceedings

0
索取号：
作者：Miesenberger、 Klaus.、Klaus、 Joachim.、Zagler、 Wolfgang.、Karshmer、 Arthur.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computational Intelligence for Knowledge-Based Systems Design [electronic resource] : 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010. Proceedings

0
索取号：
作者：H眉llermeier、 Eyke.、Kruse、 Rudolf.、Hoffmann、 Frank.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Psychosocial and Legal Perspectives of Marital Breakdown [electronic resource] : With Special Emphasis on Spain

0
索取号：
作者：Gaffal、 Margit.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Design Thinking [electronic resource] : Understand 鈥ɭprove 鈥pply

0
索取号：
作者：Meinel、 Christoph.、Leifer、 Larry.、Plattner、 Hasso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Formal Methods for Quantitative Aspects of Programming Languages [electronic resource] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

0
索取号：
作者：Aldini、 Alessandro.、Bernardo、 Marco.、Pierro、 Alessandra.、Wiklicky、 Herbert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Analysis and Design of Univariate Subdivision Schemes [electronic resource]

0
索取号：
作者：Sabin、 Malcolm.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Global Perspectives on Design Science Research [electronic resource] : 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings.

0
索取号：
作者：Winter、 Robert.、Zhao、 J. Leon.、Aier、 Stephan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Handbook for Heat Exchangers and Tube Banks design [electronic resource]

0
索取号：
作者：Annaratone、 Donatello.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Linking Literature, Information, and Knowledge for Biology [electronic resource] : Workshop of the BioLink Special Interest Group, ISMB/ECCB 2009, Stockholm, June 28-29, 2009, Revised Selected Papers

0
索取号：
作者：Blaschke、 Christian.、Shatkay、 Hagit.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Design and Manufacturing of Active Microsystems [electronic resource]

0
索取号：
作者：B眉ttgenbach、 Stephanus.、Burisch、 Arne.、Hesselbach、 J眉rgen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.